Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
2

Anti-patterns for rule-based languages

Année:
2010
Langue:
english
Fichier:
PDF, 627 KB
english, 2010
3

A ρ-calculus of explicit constraint application

Année:
2007
Langue:
english
Fichier:
PDF, 765 KB
english, 2007
5

Higher Order Unification via Explicit Substitutions

Année:
2000
Langue:
english
Fichier:
PDF, 481 KB
english, 2000
9

Equational completion in order-sorted algebras

Année:
1990
Langue:
english
Fichier:
PDF, 3.97 MB
english, 1990
10

Completion for unification

Année:
1991
Langue:
english
Fichier:
PDF, 1.31 MB
english, 1991
11

Editorial

Année:
1995
Langue:
english
Fichier:
PDF, 66 KB
english, 1995
12

AC-unification race: The system solving approach, implementation and benchmarks

Année:
1992
Langue:
english
Fichier:
PDF, 975 KB
english, 1992
13

Strategic Rewriting

Année:
2005
Langue:
english
Fichier:
PDF, 167 KB
english, 2005
14

Anchoring Modularity in HTML

Année:
2006
Langue:
english
Fichier:
PDF, 291 KB
english, 2006
16

On the confluence of lambda-calculus with conditional rewriting

Année:
2010
Langue:
english
Fichier:
PDF, 741 KB
english, 2010
17

ELAN from a rewriting logic point of view

Année:
2002
Langue:
english
Fichier:
PDF, 281 KB
english, 2002
18

Editorial

Année:
1989
Langue:
english
Fichier:
PDF, 89 KB
english, 1989
19

Editorial

Année:
1989
Langue:
english
Fichier:
PDF, 73 KB
english, 1989
21

Controlling Rewriting by Rewriting

Année:
1996
Langue:
english
Fichier:
PDF, 1.47 MB
english, 1996
22

The simply typed rewriting calculus

Année:
2000
Langue:
english
Fichier:
PDF, 202 KB
english, 2000
23

Rewriting Calculus with(out) Types

Année:
2004
Langue:
english
Fichier:
PDF, 258 KB
english, 2004
25

Rewrite Strategies in the Rewriting Calculus

Année:
2003
Langue:
english
Fichier:
PDF, 1.72 MB
english, 2003
26

Inductive proof search modulo

Année:
2009
Langue:
english
Fichier:
PDF, 839 KB
english, 2009
27

A ρ-Calculus of Explicit Constraint Application

Année:
2005
Langue:
english
Fichier:
PDF, 352 KB
english, 2005
28

Preface

Année:
2007
Langue:
english
Fichier:
PDF, 96 KB
english, 2007
29

Abstract canonical presentations

Année:
2006
Langue:
english
Fichier:
PDF, 248 KB
english, 2006
32

Preface: Volume 15

Année:
1998
Langue:
english
Fichier:
PDF, 39 KB
english, 1998
33

A Methodological View of Constraint Solving

Année:
1999
Langue:
english
Fichier:
PDF, 479 KB
english, 1999
34

External Rewriting for Skeptical Proof Assistants

Année:
2002
Langue:
english
Fichier:
PDF, 209 KB
english, 2002
36

Regaining cut admissibility in deduction modulo using abstract completion

Année:
2010
Langue:
english
Fichier:
PDF, 381 KB
english, 2010
49

[Handbook of the History of Logic] Computational Logic Volume 9 || Equational Logic and Rewriting

Année:
2014
Langue:
english
Fichier:
PDF, 307 KB
english, 2014